Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
arxiv.org·2d
✓Formal Verification
Flag this post
I'm building a language that compiles Haskell-style Monads and RAII down to high-performance C. I call it Cicili
λFunctional Programming
Flag this post
Coding in AI Era: Adapt Your Methods
🎭Program Synthesis
Flag this post
The “Jankiest” way of writing Ruby gems
mauricio.szabo.link·2h
🔵Clojure
Flag this post
The skills and physics of high-performance driving, Pt. 1
lesswrong.com·5h
🧮Algebraic Effects
Flag this post
Stress-Testing Claude Sonnet 4.5: Psychological Subjectivity or Sophisticated Imitation?
🛡️AI Security
Flag this post
Built a Claude Skill That Optimizes Your Docs/README for LLMs So They Actually Understand Them (based on c7score and llmstxt formats)
💬Prompt Engineering
Flag this post
I tested GPT-5.1 Codex against Sonnet 4.5, and it's about time Anthropic bros take pricing seriously.
📦Folly
Flag this post
Christoph Breitkopf: Interval Tables in Common Lisp
bokesan.blogspot.com·2d
📐Type Theory
Flag this post
I Analyzed How Top 0.1% Engineering Teams Do Code Reviews
newsletter.systemdesign.one·21h
🌳Git
Flag this post
November 2025 Short-Term Q3 Project Updates
clojuriststogether.org·2d
🍱Nom
Flag this post
First-class custom smart pointers
🔀Crossbeam
Flag this post
ML Systems Textbook by Havard
🚀MLOps
Flag this post
Loading...Loading more...